typedef double REAL;